7fb37f528742d460880f1bce32f5d5afc78456c5,languages/languageDesign/smodel/source_gen/jetbrains/mps/lang/smodel/typesystem/typeof_Concept_IsSubConceptOfOperation_InferenceRule.java,typeof_Concept_IsSubConceptOfOperation_InferenceRule,applyRule,#SNode#TypeCheckingContext#IsApplicableStatus#,20

Before Change


    {
      SNode _nodeToCheck_1029348928467 = op;
      EquationInfo _info_12389875345 = new EquationInfo(_nodeToCheck_1029348928467, null, "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)", "654553635094914076", 0, null);
      typeCheckingContext.createEquation((SNode) typeCheckingContext.typeOf(_nodeToCheck_1029348928467, "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)", "654553635094914081", true), (SNode) _quotation_createNode_35z7h3_a0b0b(), _info_12389875345);
    }
  }

After Change


    SNode conceptArg = SLinkOperations.getTarget(op, "conceptArgument", true);
    {
      SNode _nodeToCheck_1029348928467 = conceptArg;
      EquationInfo _info_12389875345 = new EquationInfo(_nodeToCheck_1029348928467, null, "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)", "8933148862033727264", 0, null);
      typeCheckingContext.createLessThanInequality((SNode) typeCheckingContext.typeOf(_nodeToCheck_1029348928467, "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)", "8933148862033727266", true), (SNode) _quotation_createNode_35z7h3_a0b0b(), false, true, _info_12389875345);
    }

    {
      SNode _nodeToCheck_1029348928467 = op;
      EquationInfo _info_12389875345 = new EquationInfo(_nodeToCheck_1029348928467, null, "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)", "654553635094914076", 0, null);
      typeCheckingContext.createEquation((SNode) typeCheckingContext.typeOf(_nodeToCheck_1029348928467, "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)", "654553635094914081", true), (SNode) _quotation_createNode_35z7h3_a0d0b(), _info_12389875345);
    }
  }